منابع مشابه
Natural Logic for Natural Language
For a cognitive account of reasoning it is useful to factor out the syntactic aspect — the aspect that has to do with pattern matching and simple substitution — from the rest. The calculus of monotonicity, alias the calculus of natural logic, does precisely this, for it is a calculus of appropriate substitutions at marked positions in syntactic structures. We first introduce the semantic and th...
متن کاملLESK: A Language Synthetizing Natural Language, Computer Language And Logic
LESK (Language f o r E x a c t l y 3 t a t l ~ Knowledge) i s i n t e n d ed t o b r i d g e t h e c o n s i d e r a b l e gap be tween n a t u r a l l anguage (I~L), computer l an6uage (CL) and log~tc. I t i s d e s i r a b l e t o d o so f o r t he f o l l o w i n g r e a s o n . To implement any n o n t r i v i a l computer sys tem f o r some problem domain, one must f i r s t have a v e r y...
متن کاملTraditional Logic, Modern Logic and Natural Language
. . . Wikipedia [38] defines: traditional logic is ‘a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century’. It is of great interest to place the transitions between traditional and modern logic. In this paper I will say where I think the main differences lie. In my last section I will co...
متن کاملVisions for Logic-Based Natural Language Processing
The purpose of this paper is to outline the requirements that the eld of Natural Language Processing (NLP) has for a declarative successor to Prolog. Logic programming approaches play a major role in NLP, and likewise considerations of NLP have had a strong in uence on logic programming ([Colmerauer, 1978], [Pereira and Warren, 1980], [Smolka, 1992]). We will review the state of the art in NL g...
متن کاملConstraint Logic Programming for Natural Language Processing
This paper proposes an evaluation of the adequacy of the constraint logic programming paradigm for natural language processing. Theoretical aspects of this question have been discussed in several works (see for example [Smolka89] or [Aı̈t-Kaci92]). We adopt here a pragmatic point of view and our argumentation relies on concrete solutions. Using actual contraints (in the CLP sense) is neither eas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1991
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635837